Previous | 
Home
Section: Dissemination
Popularization
Laurent Théry gave talks in the context of “Fête de la science”.
Research Program
New Software and Platforms
New Results
- Implementing Theorem Proving in Higher Order Logic Programming
- Coqoon: An IDE for interactive proof development in Coq
- A book on mathematical components
- Proofs of transcendence
- Cubical type theory and univalent foundations
- Formal study of double-word arithmetic algorithms
- Formal foundations of 3D geometry for robot manipulators
- Finites sets, finite maps, multisets, order types
- CoqEAL and modular large scale reflection
- Formalization of semi-algebraic sets
- Formalizing the Spectral Theorem
- A formal proof of La Salle's invariance principle
- Formalizing Delaunay triangulations
- Formalizing Quantum Computing
- Formalizing De Bruijn Sequences
- Formalizing Hanoi towers
- Implementation of Bourbaki's Theory of Sets in Coq
- Factorization of ordinal numbers
- New logics for differential privacy
- Formalizing counter-measures for differential power analysis
Partnerships and Cooperations
Bibliography
Research Program
New Software and Platforms
New Results
- Implementing Theorem Proving in Higher Order Logic Programming
- Coqoon: An IDE for interactive proof development in Coq
- A book on mathematical components
- Proofs of transcendence
- Cubical type theory and univalent foundations
- Formal study of double-word arithmetic algorithms
- Formal foundations of 3D geometry for robot manipulators
- Finites sets, finite maps, multisets, order types
- CoqEAL and modular large scale reflection
- Formalization of semi-algebraic sets
- Formalizing the Spectral Theorem
- A formal proof of La Salle's invariance principle
- Formalizing Delaunay triangulations
- Formalizing Quantum Computing
- Formalizing De Bruijn Sequences
- Formalizing Hanoi towers
- Implementation of Bourbaki's Theory of Sets in Coq
- Factorization of ordinal numbers
- New logics for differential privacy
- Formalizing counter-measures for differential power analysis
Partnerships and Cooperations
Bibliography